аксиома Кантора

См. также в других словарях:

• НЕПРЕРЫВНОСТИ АКСИОМА — аксиома, выражающая тем или иным образом непрерывность множества действительных чисел. Н. а. действительных чисел может быть сформулирована, напр., в терминах сечений действительных чисел: всякое сечеяие действительных чисел определяется нек рым… …   Математическая энциклопедия

• Кантора аксиома —         одна из аксиом, характеризующих непрерывность прямой линии; заключается в следующем: любая последовательность вложенных друг в друга отрезков, длины которых стремятся к нулю, имеет одну общую точку. Сформулирована Г. Кантором (1872) …   Большая советская энциклопедия

• КАНТОРА АКСИОМА — одна из аксиом, характеризующих непрерывность прямой линии; заключается в следующем: любая последовательность вложенных друг в друга отрезков, длины к рых стремятся к нулю, имеет одну общую точку. Сформулирована Г. Кантором (G. Cantor, 1872). БСЭ …   Математическая энциклопедия

• Теорема Кантора — Бернштейна — Теорема Кантора  Бернштейна (в англ. литературе теорема Кантора  Бернштейна  Шрёдера), утверждает, что если существуют инъективные отображения и между множествами A и B, то существует взаимооднозначное отображение …   Википедия

• ГИЛЬБЕРТА СИСТЕМА АКСИОМ — евклидовой геометрии система аксиом, предложенная в 1899 Д. Гильбертом (см. [1]). Со времени первой публикации Г. с. а. Д. Гильберт внес в систему аксиом различные изменения и уточнения. Основными (неопределяемыми) понятиями в Г. с. а. являются… …   Математическая энциклопедия

• Непрерывности аксиомы —         аксиомы, выражающие тем или иным образом Непрерывность прямой линии. Например, аксиома Дедекинда: если все точки прямой разбиты на два непустых класса, причём все точки первого класса расположены левее всех точек второго, то существует… …   Большая советская энциклопедия

• Евклидова геометрия —         геометрия, систематическое построение которой было впервые дано в 3 в. до н. э. Евклидом. Система аксиом Е. г. опирается на следующие основные понятия: точка, прямая, плоскость, движение и следующие отношения: «точка лежит на прямой на… …   Большая советская энциклопедия

• Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

• БЕСКОНЕЧНОЕ —         филос. категория, характеризующая неисчерпаемость материи и движения, многообразие явлений и предметов материального мира, форм и тенденций его развития. Признавая объективное существование Б. в природе, диалектич. материализм отвергает… …   Философская энциклопедия

• Непрерывность множества действительных чисел — Непрерывность действительных чисел  свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… …   Википедия

• Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… …   Википедия